home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / tmfile.dcl < prev    next >
Encoding:
Modula Definition  |  1996-12-11  |  312 b   |  12 lines  |  [TEXT/3PRM]
  1. definition module tmfile
  2.  
  3. from    StdString    import String
  4. from    StdFile        import Files
  5. from    tm            import Turing, Transition, Tape, State, Head
  6.  
  7. ::    *Disk    :==  Files
  8.  
  9. WriteTuringToFile    :: Turing    !String !Disk    -> (!Bool,!Disk)
  10. ReadTuring            ::            !String !Disk    -> (!Int,!Turing,!Disk)
  11. RemovePath            ::            !String            -> String
  12.